Rule-Based Requirements Specification and Validation
نویسندگان
چکیده
Requirements specification has only recently been acknowledged as one of the most important phases in the overall software life cycle. Since the statement of a complete and consistent set of requirements involves user participation, our approach investigates how user oriented formalisms and techniques could be employed for the specification and capturing of requirements. We propose the use of rules as a natural means for expressing the application domain knowledge, and introduce a number of techniques such as semantic prototyping and animation for the validation of the requirements.
منابع مشابه
Issues in Designing Rule-based Systems for Integrated Evaluation
The design of rule bases is plagued by various anomalies due to lack of structured development, and lack of a formal reference for the acquired knowledge. Often, the lack of a clear link connecting the functional requirements, the design, and the implementation levels of a rule-based system makes it difficult to analyze the rule base in terms of how well it represents the acquired knowledge. Th...
متن کاملValidation of Security Policies
Security Policies constitute the core of network protection infrastructures. However, their development is a sensitive task because it can be in opposition with the security requirements (e.g. lack of rule or conflicting rules). A specification task seems to be indispensible in order to clarify the desired exigencies. A validation process for security policies becomes then necessary before thei...
متن کاملSpecifying and Validating Requirements: The VENUS System1
Requirements specification and validation is recognized as a crucial part of the information systems’ development process. This paper presents the VENUS integrated environment for requirements engineering. The underlying conceptual framework of VENUS combines the entity-relationship, object-oriented and rule-based paradigms for data and behaviour modelling. VENUS tools enable systems analysts t...
متن کاملStructure-preserving specification languages for knowledge-based systems
Much of the work on validation and verification of knowledge based systems (KBSs) has been done in terms of implementation languages (mostly rule-based languages). Recent papers have argued that it is advantageous to do validation and verification in terms of a more abstract and formal specification of the system. However, constructing such formal specifications is a difficult task. This paper ...
متن کاملSpecifiying and Validating Requirements: The VENUS System
Requirements specification and validation is recognized as a crucial part of the information systems Υ development process. This paper presents the VENUS integrated environment for requirements engineering. The underlying conceptual framework of VENUS combines the entity-relationship, object-oriented and rule-based paradigms for data and behaviour modelling. VENUS tools enable systems analysts ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1990